jPhase: an Object-Oriented Tool for Modeling Phase-Type Distributions
نویسندگان
چکیده
IV jPhaseFit: the fitting module 5 IV-A Abstract Classes . . . . . . . . . . . . . . . . . . . . . . . . . 6 IV-B Concrete Classes: Maximum Likelihood Algorithms . . . . . . . 6 IV-B.1 General Phase-Type Distribution EM Algorithm [1] . . 6 IV-B.2 Hyper-Exponential Distribution EM Algorithm [2] . . . 7 IV-B.3 Hyper-Erlang Distribution EM Algorithm [3] . . . . . 7 IV-C Concrete Classes: Moment Matching Algorithms . . . . . . . . . 7 IV-C.1 Acyclic Continuous order-2 Distributions [4] . . . . . 7 IV-C.2 Erlang-Coxian Distributions[5] . . . . . . . . . . . . 8 IV-C.3 Acyclic Continuous Distributions [6] . . . . . . . . . 8
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملjPhase User’s Guide
1 Phase-Type Distributions 2 1.1 Continuous Phase-Type Distributions . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Discrete Phase-Type Distributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Closure Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.4 Further Closure Properties for Continuous Distributions . . . . . . . . . ....
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کامل